Evaluation of Modeling
نویسنده
چکیده
delta modeling [6] (ADM) describes the possible ways a product line code base can be structured by delta modeling so that it supports automated product derivation. It puts deltas, which can modify (software) products, into a partial order which restricts their application. If delta x comes earlier in this order than y, then x has to be applied before y. If there is no order between x and y, and their changes are incompatible, a third delta can be used to mediate and resolve the conflict. The deltas carry application conditions which specify for which feature configurations they should be applied. The Delta Modeling Workflow (DMW) [16] guides developers through the process of building a software product line step by step. It involves the creation of a delta for each feature in the feature model, and then the creation of a delta for each feature interaction and a delta to resolve each implementation conflict. This is done in an iterative manner as depicted in Figure 3.1. We assume that the process starts with a product line specification (Ψ, ). The structural feature model Ψ is a 5-tuple (B,—•,—◦,⊕,I), where B is a set of mandatory base-features, —• is the mandatory subfeature relation, —◦ is the optional sub-feature relation, ⊕ indicates those features that may not appear together in one product and I indicates which features require which others. These relations should all be
منابع مشابه
Mathematical Modeling of Fluorination Reaction of Uranium Dioxide and Evaluation of Existing Gas-Solid Reaction Models
متن کامل
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملModeling and Performance Evaluation of Multi-Processors Organization with Shared Memories
This paper is primarily concerned with theoretical evaluation of the performance of multiprocessors system. A markovian waiting line model has been developed for various different multi-processors configurations, with shared memory. The system is analysed at the request level rather than job level.
متن کاملQuadrature Amplitude Modulated Digital Radio Transmission Modeling and Simulation
Computer aided design and computer aided modeling tools are becoming increasingly important in the design and performance evaluation of communication systems. In this work, we report on the computer simulation modeling study of terrestrial digital microwave radio transmission, using Block Oriented System Simulator package (BOSS). The work concentrates on semi-analytical error rate evaluation in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012